Inference Inspector: Improving the verification of ontology authoring actions
نویسندگان
چکیده
منابع مشابه
Verification of Programs with Inspector Methods
Most classes in an object-oriented program provide access to an object’s state through methods, so that client code does not depend on and cannot interfere with the object’s internal representation composed of fields and internal component objects. Methods used for this purpose are sometimes called inspector methods. In order to extend the benefits of inspector methods to specifications, the me...
متن کاملMaking Entailment Set Changes Explicit Improves the Understanding of Consequences of Ontology Authoring Actions
The consequences of adding or removing axioms are difficult to apprehend for ontology authors using the Web Ontology Language (OWL). Consequences of modelling actions range from unintended inferences to outright defects such as incoherency or even inconsistency. One of the central ontology authoring activities is verifying that a particular modelling step has had the intended consequences, ofte...
متن کاملRoundTrip Ontology Authoring
Controlled Language (CL) for Ontology Editing tools offer an attractive alternative to naive users, wishing to create Ontologies. However despite the benefits of CLs, users are still required to learn the correct syntactic structures in order to use the Controlled Language properly. Referring to CL vocubulary/syntax rules can be time consuming, annoying and in certain cases may prevent uptake o...
متن کاملCourseware Authoring Tasks Ontology
Authoring of concept-based Web courseware is more complicated than the ‘standard’ courseware authoring and thus needs more adaptive and intelligent support. In order to provide such support the authoring system itself needs to have understanding about the process of courseware authoring, to be able to decompose it in steps and procedures and reason over it; to provide hints and recommendations ...
متن کاملmodification of nanoclay for improving the physico-mechanical properties of dental adhesives
هدف اصلی این مطالعه تهیه یک سامانه نوین چسب عاجی دندانی بر پایه نانورس پیوند شده با پلی متاکریلیک اسید، نانورس پیوند شده با پلی اکریلیک اسید، مخلوط نانوسیلیکا و نانورس پیوند شده با پلی متاکریلیک اسید، مخلوط نانوسیلیکا و نانورس پیوند شده با پلی اکریلیک اسید و نانورس پیوند شده با کیتوسان اصلاح شده با گلایسیدیل متاکریلات است. پیوند پلی متاکریلیک اسید و پلی اکریلیک اسید بر ری سطح نانورس در حضور و ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Web Semantics
سال: 2018
ISSN: 1570-8268
DOI: 10.1016/j.websem.2017.09.004